diff --git a/user_guide/changelog.html b/user_guide/changelog.html
index f5a6fbe..a9eec09 100644
--- a/user_guide/changelog.html
+++ b/user_guide/changelog.html
@@ -71,6 +71,7 @@
 
 <h3>Bug fixes for 1.7.2</h3>
 <ul>
+	<li>Fixed assorted user guide typos or examples (#6743).</li>
 </ul>
 
 <h2>Version 1.7.1</h2>